from django.conf.urls.defaults import *
from tppt.data.models import *

urlpatterns = patterns('',
     (r'^ppa/list$', 'tppt.lib.views.generic_list', {'model_name':'ProverProblemAnalysis'}),
     (r'^ppa/detail/(?P<object_id>.*)$', 'tppt.data.views.show_ppa'),
)
